Où étiez-vous le 11 septembre 2001 ?

Triem Tong N ̊ ? ? ? ? Septembre 2001

We present Timbuk a tree automata library which implements usual operations on tree automata as well as a completion algorithm used to compute an over-approximation of the set of descendants R (E) for a regular set E and a term rewriting system R, possibly non linear and non terminating. On several examples of term rewriting systems representing programs and systems to verify, we show how to us...

Septembre 2011 Université Paris - sud 11

15 Synthèse 17 Introduction . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 17 Etude de sensibilité . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 19 Etalonnage des calorimètres . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 22 Première mesure de physique avec les données 2010 . . . . . . . . . . . . . . . . . ....

SIGGRAPH 2001 Course 11

A question of evil: September 11, 2001.

Cancer Immunity 1:11 (2001) - ARTICLE

The identification of the antigenic stimuli of B-cell neoplasms might be of considerable importance since a causal relationship between these neoplasms and antigenic stimulation has been suggested. To date the identification of such antigens has been erratic and accidental. For a systematic search and molecular characterization of human proteins that are antigenic target structures of myeloma-a...